| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
10/07/1996 |
|
Data da última atualização: |
16/08/2007 |
|
Autoria: |
FERNANDES, J. M.; PINA, A. M.; PROENCA, A. J. |
|
Título: |
Simulacao e sintese de controladores paralelos a partir de especificacoes baseadas em redes de Petri. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995. |
|
Páginas: |
p.481-492. |
|
Idioma: |
Português |
|
Conteúdo: |
As Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelacao de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponivel de tecnicas formais para analise esrutural e dinamica dos sistemas modelados. Apresentam-se as vantagens na utilizacao de RdP, relativamente a outros paradigmas de modelacao, na especificacao de controladores com comportamento paralelo. Sao tambem propostas algumas alteracoes ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. E apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controle digitais, a partir de uma RdP. Finalmente, e considerado e analisado detalhadamente um exemplo. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01419naa a2200157 a 4500
001 1002891
005 2007-08-16
008 1995 bl uuuu u00u1 u #d
100 1 $aFERNANDES, J. M.
245 $aSimulacao e sintese de controladores paralelos a partir de especificacoes baseadas em redes de Petri.
260 $c1995
300 $ap.481-492.
520 $aAs Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelacao de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponivel de tecnicas formais para analise esrutural e dinamica dos sistemas modelados. Apresentam-se as vantagens na utilizacao de RdP, relativamente a outros paradigmas de modelacao, na especificacao de controladores com comportamento paralelo. Sao tambem propostas algumas alteracoes ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. E apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controle digitais, a partir de uma RdP. Finalmente, e considerado e analisado detalhadamente um exemplo.
700 1 $aPINA, A. M.
700 1 $aPROENCA, A. J.
773 $tIn: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Tabuleiros Costeiros. |
|
Data corrente: |
17/10/2012 |
|
Data da última atualização: |
02/02/2023 |
|
Tipo da produção científica: |
Artigo em Anais de Congresso |
|
Autoria: |
CALASANS, T. N.; SILVA, T. N.; MARTINS, C. R.; LEDO, A. da S.; AMORIM, E. P. |
|
Afiliação: |
TULIO NUNES CALASANS; TATIANA NASCIMENTO SILVA; CARLOS ROBERTO MARTINS, CPATC; ANA DA SILVA LEDO, CPATC; EDSON PERITO AMORIM, CNPMF. |
|
Título: |
Caracterização físico-química de frutos de cultivares de bananeira nos tabuleiros costeiros. |
|
Ano de publicação: |
2012 |
|
Fonte/Imprenta: |
In: SEMINÁRIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DA EMBRAPA TABULEIROS COSTEIROS, 2., 2012, Aracaju. Anais... Brasília, DF: Embrapa; Aracaju: Embrapa Tabuleiros Costeiros, 2012. 1 CD-ROM. |
|
Idioma: |
Português |
|
Palavras-Chave: |
Físico-químico. |
|
Thesagro: |
Banana; Melhoramento genético vegetal. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/68207/1/caracterizacao.pdf
|
|
Marc: |
LEADER 00737nam a2200181 a 4500
001 1937004
005 2023-02-02
008 2012 bl uuuu u00u1 u #d
100 1 $aCALASANS, T. N.
245 $aCaracterização físico-química de frutos de cultivares de bananeira nos tabuleiros costeiros.$h[electronic resource]
260 $aIn: SEMINÁRIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DA EMBRAPA TABULEIROS COSTEIROS, 2., 2012, Aracaju. Anais... Brasília, DF: Embrapa; Aracaju: Embrapa Tabuleiros Costeiros, 2012. 1 CD-ROM.$c2012
650 $aBanana
650 $aMelhoramento genético vegetal
653 $aFísico-químico
700 1 $aSILVA, T. N.
700 1 $aMARTINS, C. R.
700 1 $aLEDO, A. da S.
700 1 $aAMORIM, E. P.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Tabuleiros Costeiros (CPATC) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
